Евдокимов А. А. , Левин А. А. «ИНСТРУМЕНТАРИЙ ГРАФИЧЕСКОГО ИССЛЕДОВАНИЯ СИМВОЛЬНЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ » // Прикладная дискретная математика 2008. №1(1) C.108-110
Рябоконь Д. В. «Алгоритм поиска запретов булевых функций» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.123-125
Рябоконь Д. В. «Алгоритм поиска запретов булевых функций» // Прикладная дискретная математика. Приложение 2013. №6 C.123-125